JavaScript Kütüphaneleri için Girdi Doğrulama Analizi

Nowadays, mobile and web based software has been an integral part of our lives. In recent years, there has been an increase in usage of JavaScript libraries in those kind of software. Although these JavaScript libraries fulfill the functions they have promised with respect to the application program interfaces they provide, they are not robust against unexpected inputs. In this study, the parameters and global variables of functions in the five selected JavaScript libraries that are frequently used in mobile and web based software are analyzed for input validation. For this purpose, an input validation model has been proposed. Based on this model, a tool called TAJS that performs a type analysis on JavaScript programs has been extended with a proposed algorithm. The resulting tool is executed on five JavaScript libraries and obtained results are shared.